home *** CD-ROM | disk | FTP | other *** search
/ Amiga Tools 2 / Amiga Tools 2.iso / tex / rexx / quit_tex.ced < prev    next >
Encoding:
Text File  |  1995-03-15  |  281 b   |  16 lines
  1. /*
  2. ** ARexx Script to stop the "Start_TeX" script.
  3. **
  4. **            19.08.90    Georg Hessmann
  5. */
  6.  
  7. OPTIONS RESULTS
  8.  
  9. IF (SHOW('P', 'Start_TeX')) THEN DO
  10.     okay2 "Really stop ARexx TeX-server ?"
  11.     if (RESULT == "1") THEN ADDRESS 'Start_TeX' 'quit'
  12.     END
  13. ELSE
  14.     okay1 "No TeX-server to quit!"
  15. EXIT 0
  16.